COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "memo.pub[let,jmc]" source
C00005 ENDMK
C⊗;
.require "memo.pub[let,jmc]" source
.cb Role of Dr. Zohar Manna as Professor of Computer Science

   Zohar Manna is one of the principal contributors to the mathematical theory
of computation. In this field, concepts derived from mathematical logic are
applied to study the behavior of computer programs. A practical outcome of
this research is the emergence of techniques for constructing efficient
programs and proving their correctness. Manna's own researh combines the
theoretical and practical aspects of the field.

   Manna is the author of the book "Mathematical Theory of Computation," the
field's principal text. He is the author of numerous publications, and is
frequently invited to lecture at international conferences and seminars. He
is a clear and enthusiastic lecturer, and his courses are popular and
well-attended. He has been the advisor for  several outstanding Ph.D. theses,
and he cooperates closely with his students.

   Having Manna to strengthen the department in mathematical theory
of computation is particularly important now that through his and others'
work is is becoming possible to teach students to prove the correctness
of their programs.  We also need him to direct dissertations in developing
new techniques for program verification.